Translation
powered by 
Word not found. Suggestions:
Reverse definition search (Computing (FOLDOC) dictionary):
Constraint Handling In Prolog Constraint Logic Programming incremental constraint solver CLP(R) definitional constraint programming Echidna CLP(sigma*) Oz CLP* HCLP GAPLog Goffin Trilogy neutrosophic logic Charme LIFE Janus Goedel propositional logic Siri constraint CLP predicate logic equational logic Bertrand BABYLON BNR Prolog Wild_LIFE EQLog constraint satisfaction logic Emitter Coupled Logic Algebraic Logic Functional language F+L LeFun Juno Kaleidoscope Lucy Programmable Array Logic TEMPLOG symbolic logic LO ThingLab integrity constraint classical logic linear logic first-order logic Consul BABEL logic emulator graph colouring intuitionistic logic P-Prolog ConstraintLisp Lolli LOGIN intuitionistic probability quantifier HOL modal logic more...